PROLOG

Etymology:
PROLOG = PROgramming In LOGic 

FAQs:
Jamie Andrews:
ftp://rtfm.mit.edu/pub/usenet/news.answers/prolog/
http://www.lib.ox.ac.uk/internet/news/faq/archive/prolog.faq.html
http://www.cs.cmu.edu/Web/Groups/AI/html/faqs/lang/prolog/faq/faq.html

Mark Kantrowitz :
http://www.cs.cmu.edu/Web/Groups/AI/html/faqs/lang/prolog/prg/top.html
http://www.lib.ox.ac.uk/internet/news/faq/archive/prolog.resource-guide.part1.html
http://www.lib.ox.ac.uk/internet/news/faq/archive/prolog.resource-guide.part2.html

                                                 1. JB-PROLOG
 
Etymology:
JB-PROLOG = Jan Burse's PROLOG

MAC NAME: JB-Prolog                                       

VERSION: 2.1#2                                 

README:
"JB-Prolog 2.1 is a slim and powerful prolog interpreter. It is currently available for the MacIntosh where it comes with a programming environment described in the User's Manual."

AUTHORS:
Jan Burse
    
COPYRIGHT:
(c) 1994 XLOG, Jan Burse

INTERNET SITES:
http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/impl/prolog/jbprolog/
ftp://lucy.ukc.ac.uk/pub/Toolkits/Mac/Symbolic/

                                                 2. OPEN PROLOG 

MAC NAME: Open Prolog                             

VERSION: 1.0d42                                 

README:
"Open Prolog is an implementation of Edinburgh-syntax Prolog. ....
Open Prolog supports most of the features of DEC Prolog or C-Prolog, including Definite Clause Grammars. The 'logical' assert and retract semantics of Lindholm & O'Keefe are implemented."

AUTHORS:
 Michael Brady
    
COPYRIGHT:
(c) 1986-93 Michael Brady

INTERNET SITES:
ftp://grattan.cs.tcd.ie/pub/languages/open-prolog/
ftp://grattan.cs.tcd.ie/pub/mac/open-prolog/
ftp://ftp.luth.se/pub/mac/developer/lang/prolog/
http://multivac.ludd.luth.se/pub/mac/developer/lang/prolog/
ftp://lucy.ukc.ac.uk/pub/Toolkits/Mac/Symbolic/
ftp://ftp.uni-paderborn.de/mac/development/languages/
ftp://ftp.fu-berlin.de/mac/lang/Prolog/
ftp://pascal.zedat.fu-berlin.de/mac/lang/Prolog/
ftp://ftp.cs.tu-berlin.de/pub/mac/lang/Prolog/
http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/impl/prolog/op/
Info-Mac
UMich
ftp://ftp.uwtc.washington.edu/pub/Mac/Programming/Languages/

Old versions:
ftp://aisun1.ai.uga.edu/pub/prolog/                                              ftp://faui80.informatik.uni-erlangen.de/pub/prolog/ 
ftp://MacFTP.RZ.Uni-Augsburg.DE/pub/programming/                 

                                                 3. MacProlog (Demo) 
                                                     TPM
Etymology:
TPM = Transparent Prolog Machine 

MAC NAME: 
MacProlog (Demo)                                      
TPM

VERSION: 
MacProlog 3.5 
TPM 1.11                               

README:
"The version of MacPROLOG included here is a 1991 demo version.  Being a demo version it has certain restrictions, but these do not affect anything you might need to do for this course."

"A clear and consistent execution model of any programming language can lay the foundations not only for a good learning experience, but also for a smoother design/edit/run/debug cycle.  The Transparent Prolog Machine was developed in attempt to construct precisely such a model for the logic programming language Prolog, based upon a notational extension of logic programming’s traditional AND/OR trees."

AUTHORS:

MacProlog:
LPA

TPM:
Marc Eisenstadt 
Mike Brayshaw
mac version:
Fred Kwakkel
    
COPYRIGHT:
LPA MacPROLOG™  © 1984-1991, Logic Programming Associates, Ltd. (UK)
TPM for Macintosh © 1991, The Open University (UK)

INTERNET SITES:
ftp://hcrl.open.ac.uk/pub/software/mac/
ftp://faui80.informatik.uni-erlangen.de/pub/prolog/
ftp://ai.uga.edu/pub/prolog/
http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/impl/prolog/mac_pl/

Old versions:
ftp://aisun1.ai.uga.edu/pub/prolog/                                   

  
                                               4. Tricia Prolog 

Etymology: see *

MAC NAME:  Tricia                                     

VERSION: 0.9.5a31                                 

README: -

AUTHORS:
Jonas Barklund
Monika Danielsson
Jan Gabrielsson
Per Mildner
Per-Eric Olsson
Jan Wuensche
    
COPYRIGHT:
(c)  1989 - 1993  Computing Science Dept.
Uppsala University, Uppsala,Sweden 

INTERNET SITES:
ftp://ftp.csd.uu.se/pub/Tricia/Mac/
Info-Mac

Old versions:
ftp://ftp.csd.uu.se/pub/Tricia/Mac/                                         ftp://ftp.csd.uu.se/pub/Tricia/Mac/older/
ftp://lucy.ukc.ac.uk/pub/Toolkits/Mac/Symbolic/
ftp://ftp.uni-paderborn.de/mac/development/languages/
http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/impl/prolog/tricia/v095/
http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/impl/prolog/tricia/v09b/
ftp://archives.math.utk.edu/software/mac/progLanguages/UPMAIL_Prolog_0.9b/
ftp://archives.math.utk.edu/software/mac/logic/UPMAIL_Prolog_0.9b/                               

*
Date: Wed, 28 Jun 1995 09:35:26 +0200
To: "Antreas P. Hatzipolakis" <xpolakis@athena.compulink.gr>
From: Per.Mildner@CSD.UU.SE (Per Mildner)

>I have a question about the name:
>What is the etymology of TRICIA?
It is from the book The Hitchhikers Guide (Tricia has been known as MacMillan as well).

>By the way the same question about a swedish  prog. language:
>Kvikkalkul.
I do not know, but kvik sounds like kvick which means fast/speedy and of course kalkul sound like kalkyl which is the same as calculus.

Per Mildner                      Per.Mildner@CSD.UU.SE
Computing Science Dept.          http://www.csd.uu.se/~perm/
Uppsala University               tel: +46 18 181049
Box 311, S-751 05 Uppsala,Sweden fax: +46 18 511925